منابع مشابه
Groups in Allegories
Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to theory of fuzzy groups.
متن کاملDecidability of the equational theory of allegories
Freyd and Scedrov showed that the equational theory of representable allegories (essentially those allegories which have a settheoretic representation as relations) is decidable. This paper proves that the pure equational theory of allegories is decidable.
متن کاملComplements in Distributive Allegories
It is know in topos theory that axiom of choice implies that the topos is Boolean. In this paper we want to prove and generalize this result in the context of allegories. In particular, we will show that partial identities do have complements in distributive allegories with relational sums and total splittings assuming the axiom of choice. Furthermore, we will discuss possible modifications of ...
متن کاملCardinality in Allegories
In this paper we want to investigate two notions of the cardinality of relations in the context of allegories. The different axiom systems are motivated on the existence of injective and surjective functions, respectively. In both cases we provide a canonical cardinality function and show that it is initial in the category of all cardinality functions over the given allegory.
متن کاملAllegories of Circuits
This paper presents three paradigms for circuit design, and investigates the relationships between them. These paradigms are syntactic (based on Freyd and Scedrov's unitary pre-tabular allegories (upas)), pictorial (based on the net list model of circuit connectivity), and relational (based on Sheeran's relational model of circuit design Ruby). We show that net lists over a given signature cons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The International Review of Information Ethics
سال: 2017
ISSN: 1614-1687
DOI: 10.29173/irie281